線形拘束 automaton